Knihy od autora Klaus Havelund

Zobrazeno 1 – 9 z 9 výsledků

1. 

   Model Checking Software

   Klaus Havelund, Rupak Majumdar, Jens Palsberg | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
2. 

   Formal Methods

   Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2765 Kč

   Koupit
3. 

   NASA Formal Methods

   Jyotirmoy Deshmukh, Klaus Havelund, Ivan Perez | Springer International Publishing AG, 2022

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3854 Kč

   Koupit
4. 

   Java Pathfinder User Guide

   Klaus Havelund | Bibliogov, 2013

   
   

   Skladem u dodavatele - Odesíláme za 15-20 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   436 Kč

   Koupit
5. 

   Formal Approaches to Software Testing and Runtime Verification

   Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
6. 

   NASA Formal Methods

   Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
7. 

   NASA Formal Methods

   Klaus Havelund, Gerard Holzmann, Rajeev Joshi | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
8. 

   SPIN Model Checking and Software Verification

   Klaus Havelund, John Penix, Willem Visser | Springer, Berlin, 2000

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
9. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Erika Abraham, Klaus Havelund | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více